Technology - PDFSEARCH.IO - Document Search Engine

Technology
Results: 829226

#	Item
141	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli` Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-08-11 12:58:04 Computing Software engineering Computer programming Functional languages Program analysis Data types Programming languages Object-oriented programming languages ANSI/ISO C Specification Language Runtime verification Benchmark KeY
142	OUP CORRECTED PROOF – FINAL, , SPi  ENHANCED PUNISHMENT Can technology make life sentences longer? Add to Reading List Source URL: rebeccaroache.weebly.com Language: English - Date: 2018-09-09 19:16:59 Penology Ethics Philosophy Crime Sentence Superintelligence Justice Retributive justice Punishment Prison Nick Bostrom Life imprisonment in the United States
143	Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:29 Control theory Systems science Automated planning and scheduling Classical control theory Metaphysics Mathematical optimization Systems theory Nonlinear system Planning Domain Definition Language Motion planning Controllability Trajectory optimization
144	Detecting and Mitigating the Effect of Manipulated Reputation on Online Social Networks Anupama Aggarwal « supervised by Dr. Ponnurangam Kumaraguru » Indraprastha Institute of Information Technology, Delhi New Delhi, I Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:34:37 Software Computing Social networking services Digital media Social media Twitter Reputation system Internet privacy Klout Instagram Facebook like button
145	Digital manufacturing technology and convenient access to High Performance Computing (HPC) in industry R&D are essential to increase the quality of our products and the competitiveness of our companies. Progress can onl Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2013-07-19 10:06:15 Computing Cloud computing IT infrastructure Cloud infrastructure Amazon Web Services Computer cluster Amazon Elastic Compute Cloud Draft:OnScale
146	Towards inferring environment models for control functions from recorded signal data Henrik Peters, Falk Howar, Andreas Rausch Clausthal University of Technology, Department of Informatics Julius-Albert-Str. 4, 38678 Cla Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Finite-state machine Image segmentation Machine learning Cellular automata Finite automata Automata theory Cognition Cognitive science Artificial intelligence
147	Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden Add to Reading List Source URL: mpg.is Language: English - Date: 2018-08-05 06:01:43 Software engineering Programming language theory Computing Type theory Data types Functional languages Type systems Lambda calculus HindleyMilner type system Haskell Agda Dependent type
148	The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-06 02:05:36 Mathematical logic Mathematics Theoretical computer science Automated theorem proving Logic in computer science Methods of proof Boolean algebra Mathematical proofs Proof complexity Boolean satisfiability problem
149	,�, Echosec ™ Using Geofencing Technology in Business Intelligence Add to Reading List Source URL: info.echosec.net Language: English - Date: 2018-07-09 17:58:43 Software Digital media World Wide Web Social media Universal Windows Platform apps Global Positioning System Social networking services Social information processing Geo-fence Social media measurement Facebook Twitter
150	Task Scheduling and Trajectory Generation of Multiple Intelligent Vehicles Jennifer David Intelligent Systems Lab School of Information Technology Halmstad University Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:24 Scheduling Economy Business Human behavior Automated planning and scheduling Operations research Planning Schedule Motion planning Windows Task Scheduler Automated guided vehicle Robot

UPDATE